Denotational semantics - PDFSEARCH.IO - Document Search Engine

Denotational semantics
Results: 326

#	Item
191	JOURNAL OF COMPUTER AND SYSTEM SCIENCES Add to Reading List Source URL: courses.engr.illinois.edu Language: English - Date: 2013-01-02 17:11:04 Programming language theory Data types Functional programming Type system Polymorphism Denotational semantics Hindley–Milner Type variable Unification Software engineering Type theory Computing
192	A Compositional Natural Semantics and Hoare Logic for Low-Level Languages 1 Ando Saabas 2 and Tarmo Uustalu ∗,2 Institute of Cybernetics at Tallinn University of Technology Akadeemia tee 21, EE[removed]Tallinn, Estonia R Add to Reading List Source URL: set.ee Language: English - Date: 2007-12-06 06:22:33 Logic Mathematical logic Structure Universal algebra Interpretation Hoare logic Parity of a permutation Goto Denotational semantics Mathematics Model theory Formal languages
193	Coeffects: A calculus of context-dependent computation Tomas Petricek Dominic Orchard Alan Mycroft Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-16 05:18:39 Programming language semantics Denotational semantics Logic in computer science Curvature Free variables and bound variables Vector space Lambda calculus Monad Mathematics Algebra Models of computation
194	194 Department of Computer and Information Science, Linköping University[removed]Generation of Efficient Compilers and Interpreters from Natural Semantics Specifications Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2003-05-18 19:21:52 Computing Programming language semantics Formal methods Denotational semantics Operational semantics Semantics of programming languages Programming language Prolog Compiler-compiler Theoretical computer science Software engineering Logic in computer science
195	197 7 ACM Turing Award Lecture The 1977 A C M Turing Award was presented to John Backus at the A C M Annual Conference in Seattle, October 17. In introducing the recipient, Jean E. Sammet, Chairman of the Awards Committ Add to Reading List Source URL: worrydream.com Language: English - Date: 2013-07-16 19:44:03 Models of computation Logic in computer science Functional languages Programming paradigms Lambda calculus John von Neumann Denotational semantics FP Functional programming Software engineering Computing Mathematics
196	Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded ∗ Systems Edward A. Lee Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2013-12-17 02:12:08 Models of computation Logic in computer science Programming language semantics Concurrency Concurrent computing Denotational semantics Actor model Operational semantics SIGNAL Theoretical computer science Computing Software engineering
197	Language Support for Processing Distributed Ad Hoc Data Kenny Q. Zhu1 Daniel S. Dantas1 Kathleen Fisher2 Limin Jia1 Yitzhak Mandelbaum2 Vivek Pai1 David Walker1 1 2 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Logic in computer science Geographic information system OPML Data model Database G-code Computer science Computing Theoretical computer science Denotational semantics
198	Nitpicking C++ Concurrency Jasmin Christian Blanchette Tjark Weber Mark Batty Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-04-16 14:49:31 Logic in computer science Procedural programming languages Programming language semantics Predicate logic Formal methods Formal verification ALGOL 68 Denotational semantics First-order logic Theoretical computer science Computing Software engineering
199	Formal Neighbourhoods, Combinatory B¨ohm Trees, and Untyped Normalization by Evaluation Peter Dybjer∗and Denis Kuperberg† February 29, 2008 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51 Computer science Normalisation by evaluation Combinatory logic Fixed-point combinator Simply typed lambda calculus Denotational semantics Free variables and bound variables Functional programming Standard ML Theoretical computer science Lambda calculus Mathematics
200	A Theory of Changes for Higher-Order Languages Incrementalizing λ-Calculi by Static Differentiation Yufei Cai Paolo G. Giarrusso Add to Reading List Source URL: www.informatik.uni-marburg.de Language: English - Date: 2014-02-14 06:33:41 Differential calculus Symbol Denotational semantics Laplace transform Orbifold Chain rule Mathematical analysis Mathematics Derivative

UPDATE